種的論理 (FSL)
sortal logic。formal sortal logic (FSL)
種定項$ \alpha,\beta,...
種變項$ \phi,\psi,...
述語$ F,G,...
單項述語$ Fに就いて
顯在的な述定 (occurrent predication)$ Fa,Fx,F\alpha,F\phi
$ Fo: 對象 (object。個體又は種)$ oは樣態 (mode) に依り (現に (actually)) 屬性 (attribute)$ Fを例示 (exemplificate) する
傾向的な述定 (dispositional predication)$ aF,xF,\alpha F,\phi F
$ oF: 對象 (object。個體又は種)$ oは種 (kind) に依り屬性 (attribute)$ Fを例示 (exemplificate) する
例化 (instantiate)$ a/\alpha
右邊には個體定項・個體變項・種定項・種變項が入り、左邊には種定項・種變項が入る
$ o,o_1,...を對象 (object。個體又は種)、$ iを個體 (individual)、$ k,k_1,...を種 (kind) とする
$ (o_1/o_2\land o_2/o_3)\to o_1/o_3推移律 $ Fi\to iF.
$ Fk\lrarr\exist i(i/k\land Fi).
$ iF\lrarr\exist k(i/k\land kF).
$ k_1F\land k_2/k_1\to k_2F.
定理$ xF\lrarr\exist\phi(x/\phi\land\phi F)